- бар-рекурсия
- bar recursion логика
Русско-английский научно-технический словарь Масловского. 2015.
бар-рекурсия
Look at other dictionaries:
ЛОГИКО-МАТЕМАТИЧЕСКИЕ ИСЧИСЛЕНИЯ — прикладные исчисления, формализации математич. теорий. Л. м. и. задается своим языком и перечнем постулатов (эти элементы образуют синтаксис).и в большинстве случаев снабжается семантикой. Существенными чертами, отличающими Л. м. и. от аксиоматич … Математическая энциклопедия
